Steven D. Johnson Paul S. Miner Albert John Camilleri Studies of the Single Pulser in Various Reasoning Systems. 126-145 1994 conf/tpcd/1994 TPCD db/conf/tpcd/tpcd1994.html#JohnsonMC94