TY - RPRT TI - Lattices of Logical Fragments over Words AU - Manfred Kufleitner AU - Alexander Lauser PY - 2012 UR - https://arxiv.org/abs/1202.3355 ID - 1202.3355 ER -