Search results
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 697-711
Annals of Pure and Applied Logic > 2010 > 162 > 3 > 201-212
Annals of Pure and Applied Logic > 2006 > 142 > 1-3 > 269-295
Studia Logica > 2006 > 82 > 1 > 7-23
Studia Logica > 2006 > 82 > 1 > 7-23