Best-first and ten other variations of the interpretation-tree model matching algorithm (1994)

by R B Fisher
Venue:Dept. of Artificial Intelligence, University of Edinburgh