@article{PASMultiLogika01,
  author  = {Prasetya, I.S.W.B. and Azurat, A. and Swierstra, S.D.},
  year    = 2001,
  title   = {Sebuah Framework untuk Mekanisasi Multi Logika},
  journal = {Jurnal Ilmu Komputer dan Teknologi Informasi},
  volume  = 1,
  number  = 2,
  url     = {{http://www.icis.or.id/journal/j-I-02-nov01-abstrak/p5.html}},
  urlinfo = {{http://www.icis.or.id/journal/}},
  pubcat  = {journal},
}