"A Promenade from Monotonicity to Non-Monotonicity Following a Theorem Prover."

Philippe Lamarre (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics