Iteration 2-theories (1997)

by A Labella Esik, E G Manes
Venue:In Proceedings AMAST'97