@techreport{3859, title = "Laws of the Logical Calculi", author = "Carroll Morgan and J. W. Sanders", year = "1989", institution = "OUCL", month = "September", number = "PRG78", pages = "19", }