An Application of NaraView to Reasonings for Distributed Logic Programs.

Mariko Sasakura, Susumu Yamasaki

Browse the full PDPTA paper archive.