Implementation Considerations for Higher-Order Features in Logic Programming (1993)

by Gopalan Nadathur , Bharat Jayaraman , Debra Sue Wilson
Citations:14 - 10 self