Greg Sidebottom Implementing CLP(IB) Using the Connection Theorem Proving Method and a Clause Management System. 27-48 1993 15 J. Symb. Comput. 1 db/journals/jsc/jsc15.html#Sidebottom93