Intensional updates: Abduction via deduction (1990)

by Fran├žois Bry
Venue:In Proceedings of ICLP 1990