A Theorem Prover for Prioritized Circumscription. - Andrew B. Baker; Matthew L. Ginsberg (IJCAI, 1989)

Temporal Projection and Explanation. - Andrew B. Baker; Matthew L. Ginsberg (IJCAI, 1989)

A Simple Solution to the Yale Shooting Problem. - Andrew B. Baker (KR, 1989)

Nonmonotonic Reasoning in the Framework of Situation Calculus. - Andrew B. Baker (Artif. Intell., 1991)

The Hazards of Fancy Backtracking. - Andrew B. Baker (AAAI, 1994)

Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems. - James M. Crawford; Andrew B. Baker (AAAI, 1994)