Set abstraction—An extension of all solutions predicate in logic programming language Takashi Yokomori Regular Papers Pages: 227 - 248
A fast algorithm for translating combinator expressions with BC-chains Kohei NoshitaXiao -Xun He Regular Papers Pages: 249 - 257
On-the-fly and background data filtering system for database architectures Esen A. OzkarahanManuel A. Penaloza Regular Papers Pages: 281 - 314