Some BinProlog related papers can be found at
clement.info.umoncton.ca in the file papers.tar.Z.
The reader
interested in the internals of BinProlog and other
issues related to binary logic programs, their transformations
and performance evaluation is referred to
[#!Tarau90:PLILP!#,#!Tarau91:JAP!#,#!Tarau91:RU!#,#!Demoen90:KUL!#,#!Demoen91:RU!#,#!Tarau92:WAMOpt!#,#!Tarau92:ECO!#,#!LOPSTR93:Neumerkel!#,#!Neum92!#,#!Tarau93:GULP!#,#!Tarau93a!#,#!kdb93f!#,#!WA83!#,#!lindgren!#,#!TD94:WE!#,#!TA94:JFPL!#,#!TN94:PLILP!#,#!kdb93j!#,#!kdb93d!#]