Evelina Lamma Paola Mello Antonio Natali An Extended Warren Abstract Machine for the Execution of Structured Logic Programs. 187-222 1992 14 J. Log. Program. 3&4 db/journals/jlp/jlp14.html#LammaMN92