1. Logic Programming with Graph Automorphism: Integrating nauty with Prolog (Tool Description)*. Issue 5 (14th October 2016) Authors: FRANK, MICHAEL; CODISH, MICHAEL Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 688 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Preface for special section from FLOPS 2014. (22nd July 2016) Authors: CODISH, MICHAEL; SUMII, EIJIRO Journal: Journal of functional programming Issue: Volume 26(2016) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗