Nicola Leone, Pasquale Rullo. BQM: a system integrating logic, objects, and non-monotonic reasoning. In Seventh International Conference on Tools with Artificial Intelligence, ICTAI '95, Herndon, VA, USA, November 5-8, 1995. pages 400-407, IEEE Computer Society, 1995. [doi]
Abstract is missing.