The First-Order Theory of Ordering Constraints over Feature Trees (2001)

by Martin Müller , Joachim Niehren , Ralf Treinen
Venue:Discrete Mathematics and Theoretical Computer Science
Citations:19 - 5 self