@misc{misceb9a3d35,
title   = {Towards efficient modelling of distributed knowledge using equational and order-sorted logic},
author = {Wassermann, Renata and Silva, Flávio Soares Corrêa da},
year = {1994},
publisher = {IME-USP}
}