Publications in collaboration with researchers from Universidade Nova de Lisboa (1)

2000

  1. Complete monotonic semantic path orderings

    Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)