Department of Theoretical Computer Science and Mathematical Logic and Institute of Theoretical Computer Science The Faculty of Mathematics and Physics Charles University
Department of Mathematics University of Manitoba
2011 Volume 74 Issue 1 Pages 63-115
(compatible with EndNote, Reference Manager, ProCite, RefWorks)
(compatible with BibDesk, LaTeX)
Already have an account? Sign in here