Higher-order logic programming

by Gopalan Nadathur , Dale Miller
Venue:HANDBOOK OF LOGIC IN AI AND LOGIC PROGRAMMING, VOLUME 5: LOGIC PROGRAMMING. OXFORD (1998
Citations:153 - 16 self