# of records = 7
homepages/65/6489 conf/caap/BachmairCRR96 conf/ijcai/BachmairCRAC95 conf/rta/ChenA95 journals/spe/ChenRR94 conf/tapsoft/BachmairCR93 conf/iclp/ChenRR92
XML
