Formulas Matter in Computer Science: Initial Structures and Generic Examples in (1987)

by J A Why Horn Makowsky
Venue:Department of Computer Science Stanford University