ZPLAN: An Automatic Reasoning System for Situations.

Frank M. Brown, Seung S. Park, Jim Phelps

Browse the full CADE paper archive.