An Approach to Tableau Inferencing with "Hardwired" Heuristics. - Hal Berghel; Richard Rankin; Farrukh Burney (SIGSMALL/PC Symposium, 1990)