Anand S. Rao. Decision Procedures for Propositional Linear-Time Belief-Desire-Intention Logics. In Michael Wooldridge, Jörg P. Müller, Milind Tambe, editors, Intelligent Agents II, Agent Theories, Architectures, and Languages, IJCAI 95, Workshop (ATAL), Montreal, Canada, August 19-20, 1995, Proceedings. Volume 1037 of Lecture Notes in Computer Science, pages 33-48, Springer, 1995.
Abstract is missing.