Thomas Macaulay Ferguson Faulty Belnap computers and subsystems of FDE. 1617-1636 2016 26 J. Log. Comput. 5 https://doi.org/10.1093/logcom/exu048 db/journals/logcom/logcom26.html#Ferguson16