| |
# of records = 9
homepages/n/DanielNesmith journals/ife/HuangKKMNRS96 journals/jar/AndrewsBINPX96 conf/cade/HuangKKMNRS94 conf/cade/HuangKKMNRS94a conf/tphol/AndrewsBINPX93 conf/cade/PfenningN90 conf/cade/AndrewsINP90 conf/cade/AndrewsINP88
Copyright © 2009-12-06 by Michael Ley (ley@uni-trier.de)