Finding unity in computational logic (2010)

by D Miller
Venue:In ACM-BCS-Visions