Axioms in Definitional Calculi (1994)

by P Kreuger
Venue:in, Extensions of Logic Programming, Springer LNCS 798