@Article{WW83,
    Author       = "Wojciechowski, W.S. and Wojcik, A.S.",
    Year         = "1983",
    Title        = "{Automated Design of Multi-valued Logic Circuits by
                    Automated Theorem Proving Techniques}",
    Journal      = "IEEE Transactions on Computers",
    Volume       = "C-32",
    Number       = "8",
    Pages        = "785-798",
    Comment      = "TPTPRef"
}