"Incremental execution of guarded theories."

Giuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña (2001)

Details and statistics

DOI: 10.1145/383779.383782

access: closed

type: Journal Article

metadata version: 2019-06-04