Intensional updates: Abduction via deduction (1990)

by E Bry
Venue:Proceedings of the Seventh ICLP