|
1998 Book Multi-threading and message communication in qu-prologClark, Keith, Robinson, Peter J. and Hagen, Richard J. (1998). Multi-threading and message communication in qu-prolog. SVRC Technical Report, 98-11. Software Verification Research Centre, School of Information Technology, The University of Queensland. |
