1995

Enrico Tronci. "Hardware Verification, Boolean Logic Programming, Boolean Functional Programming." In Tenth Annual IEEE Symposium on Logic in Computer Science (LICS), 408-418. San Diego, California: IEEE Computer Society, 1995. DOI: 10.1109/LICS.1995.523275.