Logic Program Synthesis in a Higher-Order Setting (2000)

Cached

Download Links

by David Lacey , Julian Richardson , Alan Smaill
Citations:3 - 1 self