A. Polleres: "The DLVK System for Planning with Incomplete Knowledge"; ÖGAI Journal, 22 (2003), 1; 25 - 29.
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04404579