# of records = 7
homepages/91/809 journals/logcom/Pais95 journals/sLogica/PaisJ92 journals/sLogica/Pais92 journals/jsc/PaisP91 conf/cade/JacksonP90 conf/ecai/JacksonP90
XML
