3 papers:
ICLP-J-2013-JansenJJ #compilation #induction #prolog- Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3 (JJ, AJ, GJ), pp. 691–704.
ICPR-v2-2004-MilanovaTK #algorithm #composition #image #recursion- Lossless Data Compression for Image Decomposition With Recursive IDP Algorithm (MGM, VT, RK), pp. 823–826.
EDAC-1994-GreinerLWW #complexity #design #library- Design of a High Complexity Superscalar Microprocessor with the Portable IDPS ASIC Library (AG, LL, FW, LW), pp. 9–13.
