@inproceedings{DBLP:conf/csl/KanovichV03,
  author    = {Max I. Kanovich and
               Jacqueline Vauzeilles},
  title     = {Coping Polynomially with Numerous but Identical Elements
               within Planning Problems.},
  year      = {2003},
  pages     = {285-298},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2803{\&}spage=285},
  booktitle     = {Computer Science Logic, 17th International Workshop, CSL
               2003, 12th Annual Conference of the EACSL, and 8th Kurt
               G{\"u}del Colloquium, KGC 2003, Vienna, Austria, August
               25-30, 2003, Proceedings},
  publisher = SV,
  series    = lncs,
  volume    = {2803},
  isbn      = {3-540-40801-0},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  lipn-category = "intc"
}

@Article{KanVau-TCS,
  author =       "Max Kanovich and Jacqueline Vauzeilles",
  title =        "Strong Planning under Uncertainty in Domains with Numerous but Identical Elements (a generic approach)",
  journal =      "Theoretical Computer Science",
  volume =       379, 
  number =       {1--2}, 
  pages =        {84--119}, 
  year =         2007,
  lipn-category = "jour"
}

@TechReport{KanVau-FSTTCS,
  author =       "Max Kanovich and Jacqueline Vauzeilles",
  title =        "Linear Logic in Temporal Planning for Actions with Delayed Effects",
  institution =   {\acs{LIPN}},
  year =	"2006",
  lipn-category = "rapl"
}

@Article{KanVau-AMAI,
  author =       "Max Kanovich and Jacqueline Vauzeilles",
  title =        "Linear logic Foundations for Artificial Intelligence",
  journal =      "Annals of Mathematics and Artificial Intelligence",
  lipn-category = "soum"
}