/sci-mathematics/ltl2ba/