Algebra and Logic

Proceedings paper
Afonso, D.; Correia, A.; Conceição, V.; Moura, R. 
Atas das 6.as Jornadas de Engenharia Hidrográfica / 1.as Jornadas Luso-Espanholas de Hidrografia
6.as Jornadas de Engenharia Geográfica e 1.as Jornadas Luso-Espanholas de Hidrografia,
Instituto Hidrográfico

ISBN – 978-989-705-144-9