1. Sequential Architecture Models for Prolog;Korsloot;New Generation Computing,1991
2. Warren's Abstract Machine;Kaci,1991
3. The Architecture of Symbolic Computers;Kogge,1991
4. Computational Models of Parallel Logic Languages;Delgado-Rannauro;ECRC Technical Report CA-46,1989