Ross D. King Dominic A. Clark Jack Shirazi Michael J. E. Sternberg Inductive Logic Programming Used to Discover Topological Constraints in Protein Structures. 219-226 1994 conf/ismb/1994 ISMB db/conf/ismb/ismb1994.html#KingCSS94 http://www.aaai.org/Library/ISMB/1994/ismb94-027.php