W. F. Clocksin Logic Programming and Digital Circuit Analysis. 59-82 1987 4 J. Log. Program. 1 db/journals/jlp/jlp4.html#Clocksin87