Hussak, W. (1987). Decidability in temporal Presburger arithmetic. Univ.
Chicago-Zitierstil (17. Ausg.)Hussak, Wolodymyr. Decidability in Temporal Presburger Arithmetic. Manchester: Univ, 1987.
MLA-Zitierstil (9. Ausg.)Hussak, Wolodymyr. Decidability in Temporal Presburger Arithmetic. Univ, 1987.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.