Waldo C. Kabat

On the Design of 4-Valued Digital Systems

Waldo C. Kabat, Anthony S. Wojcik, 1981, IEEE Transactions on Computers.

Exploitation of parallel processing for implementing high-performance deduction systems

Ross A. Overbeek, Waldo C. Kabat, Anita Jindal, 2004, Journal of Automated Reasoning.

Job-shop scheduling using automated reasoning: A case study of the car-sequencing problem

Waldo C. Kabat, Bruce D. Parrello, B. Parrello, 2004, Journal of Automated Reasoning.

Logic Based Information System Specification Verification

Wojtek Kozaczynski, Waldo C. Kabat, Vicki Lovegren, 1986, ICIS.

Decision support systems: a rule-based approach

Waldo C. Kabat, Man-kuen S. Chen, Chui-fat C. Chau, 1985, ACM '85.

Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques

Waldo C. Kabat, Anthony S. Wojcik, 1985, IEEE Transactions on Computers.

Verification of software specifications using automated reasoning techniques (abstract)

Jeffrey J. P. Tsai, Waldo C. Kabat, 1986, CSC '86.