Marta Franová Proving Theorems by Construction of Valid Formulae. 41-46 1986 IFIP Congress db/conf/ifip/ifip86.html#Franova86