4 echo "Usage: $0 FILE.bib [FILE.bib ...]"
8 -e '/url = {https\?:\/\/\(doi.org\|link\.springer\|ieeexplore\|dl\.acm\|services\.igi-global\|arxiv\.org\|www.sciencedirect.com\)/d'\
9 -e 's/{Transforma Insights}/{&}/g'\
10 -e 's/{TOP Software}/{&}/g'\
11 -e 's/{GHC Team}/{&}/g'\
12 -e 's/λ/$\\lambda$/g'\