j-jlc-4-581
j-aicom-9-214
j-etai-1-105
c-ijcai-85-100
c-aaai-86-89
c-ijcai-87-1055
c-kr-89-412
c-ijcai-89-894
c-ecai-90-579
c-ecai-92-779
c-ijcai-93-738
c-ecai-96-707
c-kr-96-99
c-hart-97-3
c-kr-98-304