Logic programming for nonmonotonic reasoning (1992)

by L M Pereira, J J Alferes, J N Apar'icio
Venue:In Proc. Applied Logic Conf