@inproceedings{LNAI76910481,
   editor    = {Michael Thielscher and Dongmo Zhang},
   booktitle = {AI 2012: Advances in Artificial Intelligence},
   publisher = {Springer},
   location  = {Heidelberg},
   series    = {Lecture Notes in Computer Science},
   volume    = {7691},
   year      = {2012},
   isbn      = {978-3-642-35100-6},
   author    = {Kiyoshi Akama and Ekawit Nantajeewarawat},
   title     = {A Delayed Splitting Bottom-Up Procedure for Model Generation},
   pages     = {481--492}
}