Variable-valued logic: System VLi (1974)

by R S Michalski
Venue:in Proc. 1974 Int. Syrup. Multiple-Valued Logic, West Virgina Univ