TY  - JOUR
T1  - UVT: A Unification based tool for knowledge based verification
A1  - Polat, F.
A1  - Guvenir, H.A.
JA  - IEEE Expert
Y1  - 1993
VL  - 8
SP  - 69
EP  - 75
N1  - 23.11.2011
M2  - doi: 10.1109/64.215225
ER  -