Dunne, SteveMu, ChunyanStoddart, Bill2024-09-062024-09-062021Dunne, S, Mu, C & Stoddart, B 2021, FOPL and FOPLN Backward Proofs of Equivalence Laws.ORCID: /0000-0002-2988-6939/work/167121553https://hdl.handle.net/2164/2417325446645engQA75 Electronic computers. Computer scienceQA75FOPL and FOPLN Backward Proofs of Equivalence LawsReport