Intensional updates: Abduction via deduction (1990)

by F Bry
Venue:In Proc. 7th Conf. on Logi Programming