@Article{	  LohreyO07ic,
  author	= "Markus Lohrey and Nicole Ondrusch",
  title		= "Inverse monoids: decidability and complexity of algebraic
		  questions",
  journal	= "Information and Computation ",
  year		= "2007",
  volume	= "205",
  number	= "8",
  pages		= "1212--1234",
  issn		= "0890-5401",
  doi		= "10.1016/j.ic.2007.01.002"
}