An experiment with "Edinburgh LCF" - Leszczylowski, Jacek (1980)