Jan Maluszynski Henryk Jan Komorowski Unification-Free Execution of Logic Programs. 78-86 1985 SLP db/conf/slp/slp85.html#MaluszynskiK85