@article{Badea:2000:ROD,
  acknowledgement = {Nelson H. F. Beebe, Center for Scientific
		 Computing, University of Utah, Department of
		 Mathematics, 110 LCB, 155 S 1400 E RM 233, Salt Lake
		 City, UT 84112-0090, USA, Tel: +1 801 581 5254, FAX: +1
		 801 581 4148, e-mail: \path|beebe@math.utah.edu|,
		 \path|beebe@acm.org|, \path|beebe@computer.org|,
		 \path|beebe@ieee.org| (Internet), URL:
		 \path|http://www.math.utah.edu/~beebe/|},
  added-at = {2006-10-12T15:52:32.000+0200},
  author = {Badea, Liviu and Nienhuys-Cheng, Shan-Hwei},
  bibdate = {Fri Feb 1 09:16:51 MST 2002},
  bibsource = {http://link.springer-ny.com/link/service/series/0558/tocs/t.htm},
  biburl = {http://www.bibsonomy.org/bibtex/274c80f82f07ab20d0470db24bcc64810/jens},
  coden = {LNCSD9},
  interhash = {2eb6d03d9ffeed0c955013e13510d104},
  intrahash = {74c80f82f07ab20d0470db24bcc64810},
  issn = {0302-9743},
  journal = {Lecture Notes in Computer Science},
  keywords = {imported concept_learning},
  pages = {40--??},
  timestamp = {2006-10-12T15:52:32.000+0200},
  title = {A Refinement Operator for Description Logics},
  url = {http://link.springer-ny.com/link/service/series/0558/bibs/1866/18660040.htm;},
  volume = 1866,
  year = 2000
}