(HTM) Clip_Group.general.html (PNG) Clip_Group.general.years.stats.png (BIN) Clip_Group.general.years.stats.svgz (HTM) Clip_Group.html (PNG) Clip_Group.years.stats.png (BIN) Clip_Group.years.stats.svgz (BIN) Constr.logic.prog.bib.gz (TXT) Constr.logic.prog.dsc (HTM) Constr.logic.prog.html (PNG) Constr.logic.prog.years.stats.png (BIN) Constr.logic.prog.years.stats.svgz (BIN) Contrib.bib.gz (TXT) Contrib.dsc (HTM) Contrib.html (PNG) Contrib.years.stats.png (BIN) Contrib.years.stats.svgz (BIN) ILPBook.bib.gz (TXT) ILPBook.dsc (HTM) ILPBook.html (PNG) ILPBook.years.stats.png (BIN) ILPBook.years.stats.svgz (BIN) JLOGICPROG.bib.gz (TXT) JLOGICPROG.dsc (HTM) JLOGICPROG.html (PNG) JLOGICPROG.years.stats.png (BIN) JLOGICPROG.years.stats.svgz (DIR) LP (BIN) Logic.Prog.bib.gz (TXT) Logic.Prog.dsc (HTM) Logic.Prog.html (PNG) Logic.Prog.years.stats.png (BIN) Logic.Prog.years.stats.svgz (BIN) TAPD.bib.gz (TXT) TAPD.dsc (HTM) TAPD.html (PNG) TAPD.years.stats.png (BIN) TAPD.years.stats.svgz (BIN) abstract.interpretation.bib.gz (TXT) abstract.interpretation.dsc (HTM) abstract.interpretation.html (PNG) abstract.interpretation.years.stats.png (BIN) abstract.interpretation.years.stats.svgz (BIN) constr.logic.bib.gz (TXT) constr.logic.dsc (HTM) constr.logic.html (PNG) constr.logic.years.stats.png (BIN) constr.logic.years.stats.svgz (BIN) ilpnet.bib.gz (TXT) ilpnet.dsc (HTM) ilpnet.html (PNG) ilpnet.years.stats.png (BIN) ilpnet.years.stats.svgz (HTM) index.html (BIN) jlp.bib.gz (TXT) jlp.dsc (HTM) jlp.html (PNG) jlp.years.stats.png (BIN) jlp.years.stats.svgz (BIN) log.prog.85.bib.gz (TXT) log.prog.85.dsc (HTM) log.prog.85.html (PNG) log.prog.85.years.stats.png (BIN) log.prog.85.years.stats.svgz (BIN) lp.confs.bib.gz (TXT) lp.confs.dsc (HTM) lp.confs.html (PNG) lp.confs.years.stats.png (BIN) lp.confs.years.stats.svgz (HTM) others.html (BIN) prolog.1.bib.gz (TXT) prolog.1.dsc (HTM) prolog.1.html (PNG) prolog.1.years.stats.png (BIN) prolog.1.years.stats.svgz (BIN) prolog.bib.gz (TXT) prolog.dsc (HTM) prolog.html (PNG) prolog.years.stats.png (BIN) prolog.years.stats.svgz