q=Symposium+on+Logic+in+Computer+Science+%281987%3AIthaca%29&searchType=standard&isFacet=true&view=standard&searchWay=author&rows=10&sortWay=score&sortOrder=desc&curlibcode=XT&searchWay0=marc&logical0=AND
rows=10&curlibcode=XT&searchWay0=marc&logical0=AND
Symposium on Logic in Computer Science (1987:Ithaca)