Title: Logic Grammars, Author: Harvey Abramson
Title: Meta-Programming in Logic Programming, Author: Harvey Abramson