Current teams :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Former teams :	AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Former research topics :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

LIP6

• M. Jaume : “On greatest fixpoint semantics of logic programming”, Journal of Logic and Computation, vol. 12 (2), pp. 321-342, (ISBN: 0955-792X) [Jaume 2002]
• V. Prévosto, D. Doligez : “Algorithms and Proofs Inheritance in the FOC Language”, Journal of Automated Reasoning, vol. 29 (3-4), pp. 337-363, (ISBN: 0168-7433) [Prévosto 2002b]