@incollection{cicgra1,
    AUTHOR = {Cical{\`o}, Serena and de Graaf, Willem},
     TITLE = {Non-associative {G}r\"obner bases, finitely-presented {L}ie
              rings and the {E}ngel condition},
 BOOKTITLE = {I{SSAC} 2007},
     PAGES = {100--107},
 PUBLISHER = {ACM},
   ADDRESS = {New York},
      YEAR = {2007}
}

@article{cicgra2,
    AUTHOR = {Cical{\`o}, Serena and de Graaf, Willem A.},
     TITLE = {Non-associative {G}r\"obner bases, finitely-presented {L}ie
              rings and the {E}ngel condition. {II}},
   JOURNAL = {J. Symbolic Comput.},
  FJOURNAL = {Journal of Symbolic Computation},
    VOLUME = {44},
      YEAR = {2009},
    NUMBER = {7},
     PAGES = {786--800}
}

@Unpublished{cicgravl,
  author = 	 {Cical{\`o}, Serena and de Graaf, Willem A. and Vaughan-Lee, Michael},
  title = 	 {An effective version of the {L}azard correspondence},
  note = 	 {submitted},
  year = 	 {2011}
}

@book{khukhro98,
    AUTHOR = {Khukhro, E. I.},
     TITLE = {{$p$}-automorphisms of finite {$p$}-groups},
    SERIES = {London Mathematical Society Lecture Note Series},
    VOLUME = {246},
 PUBLISHER = {Cambridge University Press},
   ADDRESS = {Cambridge},
      YEAR = {1998},
     PAGES = {xviii+204}
}