Martins M, Madeira A, Barbosa LS.? 2011.??Reasoning about complex requirements in a uniform setting. Third International Congress on Tools for Teaching Logic - TICTIL.