BinProlog related papers can be found at
ftp://clement.info.umoncton.ca/pubor following links from
http://clement.info.umoncton.ca/~tarau
The reader interested in the internals of BinProlog and other issues related to binary logic programs, their transformations and performance evaluation is referred to [19, 12, 14, 6, 8, 15, 13, 11, 10, 17, 16, 2, 28, 9, 25, 18, 27, 22, 4, 3, 7, 20, 5, 1, 21, 23, 24]