academical publication managementcollect, organize, and share publications
Sign-in with your library account.
Login as group.
I've lost my password.
S. Ferr�, and O. Ridoux. Computational Logic, volume 1861 of Lecture Notes in Computer Science, page 1033-1047. Springer, (2000)