PDF

In Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), Cohn, Anthony and Schubert, Lenhart and Shapiro, Stuart (Eds.), pp. 212-223 1998.

@INPROCEEDINGS{mcc98, title={Satisfiability Planning with Causal Theories}, author={Norman McCain and Hudson Turner}, booktitle={Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)}, editor={Cohn, Anthony and Schubert and Lenhart and Shapiro and Stuart}, pages={212-223}, url="http://www.cs.utexas.edu/users/ai-lab/?mcc98", year={1998} }