Add more citation records, introductions, ICLP DC summary, etc.