Edelkamp, Stefan and Lluch-Lafuente, Alberto and Leue, Stefan  Protocol verification with heuristic search.  In: AAAI Spring Symposium on Model-Based Validation of Intelligence, March 26-28, 2001, Stanford University       (Submitted)   (2001)