IPOL is now indexed by DBLP

IPOL is now indexed by DBLP:

{->} IPOL DBLP