Inductive-Inductive Definitions (2010)

by N Forsberg, A Setzer
Venue:In Annual Conference on Computer Science Logic, CSL 2010, Lecture Notes in Computer Science, 6247