Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Programs.

Paul Fodor

Browse the full AAAI paper archive.