@conference {15977, title = {Vacuum-logic}, booktitle = {Proceedings of AAAI 1993 Fall Symposium Series: Instantiating Real-World Agents}, year = {1993}, month = {1993///}, pages = {51 - 54}, author = {Elgot-drapkin,J. and Kraus,S. and Miller,M. and Nirkhe,M. and Perlis, Don} }