TY - JOUR AU - Baaz, Matthias AU - Leitsch, Alexander AU - Zach, Richard IS - 1-2 JA - Theoretical Computer Science PY - 1996 TI - Completeness of a first-order temporal logic with time-gaps VL - 160 ER -