"Concept, une approche basée sur la déduction naturelle pour ..."

Miguel-Angel Oros, Paul Y. Gloess (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics