How I spent my time in Cambridge with Isabelle, Report RR 87-1, Unité d’informatique, Université Catholique de Louvain (1987)

by de Groote