@techreport{R-88-29, TITLE = {Non-Monotonic Entailment for Reasoning about Time and Action. Part III: Decision Procedure}, AUTHOR = {Erik Sandewall}, YEAR = {1988}, NUMBER = {R-88-29}, INSTITUTION = ida, ADDRESS = idaaddr, ABSTRACT = {}, IDANR = {LiTH-IDA-R-88-29}