Caseau, Yves "An Object-Oriented Deductive Language"
(1991)
(1991)
Annals of Mathematics and Artificial Intelligence 3(2-4) 1991
Languages mentioned
LAURE
{1989}