@misc {IOPORT.70471576,
    author       = {Maluszynski, Jan and Komorowski, Henryk Jan},
    title        = {Unification-free execution of logic programs},
    howpublished = {SLP, 78-86 (1985).},
    year         = {1985},
    identifier   = {70471576},
}