Information: 3rd International Conference on the Mathematicsof Program Construction, Date: JUL 17-21, 1995 Kloster Irsee Germany]. Science ofComputer Programming
Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity class (PDF), JournalofComputer and System Sciences, 1988, 36 (2): 254–276 [2022-10-31]
Characterization of Planar Graph with Edge Series. InternationalJournalof Innovative Research in Science, Engineering and Technology (Department ofMathematics, Bharath