Abstracting Plan-like Program Information: A Demonstration. - Eng-Siong Tan; Henry G. Dietz (ICSM, 1994)