An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming.

Matteo Baldoni Laura Giordano Alberto Martelli Viviana Patti An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming. 132-150 1996 conf/nmelp/1996 NMELP db/conf/nmelp/nmelp96.html#BaldoniGMP96