Languages with self-reference I: Foundations (or: We can have everything in first-order logic (1985)

by D Perlis
Venue:Artificial Intelligence