Paterson-Jones, R. and Wood, Peter (1993) Extending the WAM for HiLog. In: Miller, D. (ed.) Logic Programming: Proceedings of the 1993 International Symposium. MIT Press. ISBN 9780262631525.