%Aigaion2 BibTeX export from A Web Based Annotated Bibliography
%Monday 13 January 2025 08:18:25 AM

@ARTICLE{,
    author = {Polat, F. and Guvenir, H.A.},
     title = {UVT: A Unification based tool for knowledge based verification},
   journal = {IEEE Expert},
    volume = {8},
      year = {1993},
     pages = {69-75},
      note = {23.11.2011},
       doi = {10.1109/64.215225}
}