Updates and subjunctive queries
By: Gösta Grahne and Alberto O. Mendelzon.
Contributors: Mendelzon, Alberto O.; University of Toronto. Dept. of Computer Science.
Series: KRR-TR -- 91-4; Technical reports on knowledge representation and reasoning -- 91-4
Publisher: Computer Science Department, University of Toronto
Published: 1991
Place of publication: Toronto
Language: eng
Number of pages: 20
Subjects: Artificial intelligence.; Logic, Symbolic and mathematical.
Notes: "July 1991."

Includes bibliographical references.